was wurde aus promipool